<html>
<head><meta charset="utf-8"><title>design meeting for WF aliases lang-team#25 · t-lang · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/index.html">t-lang</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/design.20meeting.20for.20WF.20aliases.20lang-team.2325.html">design meeting for WF aliases lang-team#25</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="205383919"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/design%20meeting%20for%20WF%20aliases%20lang-team%2325/near/205383919" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/design.20meeting.20for.20WF.20aliases.20lang-team.2325.html#205383919">(Jul 29 2020 at 17:00)</a>:</h4>
<p>Hey <span class="user-group-mention" data-user-group-id="1977">@T-lang</span> -- design meeting starting now.</p>



<a name="205383942"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/design%20meeting%20for%20WF%20aliases%20lang-team%2325/near/205383942" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/design.20meeting.20for.20WF.20aliases.20lang-team.2325.html#205383942">(Jul 29 2020 at 17:00)</a>:</h4>
<p>In progress hackmd document: <a href="https://hackmd.io/F_35COHGQw-ZoQWy_02xfg">https://hackmd.io/F_35COHGQw-ZoQWy_02xfg</a></p>



<a name="205393694"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/design%20meeting%20for%20WF%20aliases%20lang-team%2325/near/205393694" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Areredify <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/design.20meeting.20for.20WF.20aliases.20lang-team.2325.html#205393694">(Jul 29 2020 at 18:16)</a>:</h4>
<p>A minor question I wanted to ask: does enforcing extra bounds warrant a rebranding of the name <code>type alias</code>, since it adds some logic on top of the type and no longer just an alias?</p>



<a name="205395307"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/design%20meeting%20for%20WF%20aliases%20lang-team%2325/near/205395307" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/design.20meeting.20for.20WF.20aliases.20lang-team.2325.html#205395307">(Jul 29 2020 at 18:29)</a>:</h4>
<p><span class="user-mention" data-user-id="251766">@Areredify</span> interesting question and I don't know the answer :)</p>



<a name="205398522"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/design%20meeting%20for%20WF%20aliases%20lang-team%2325/near/205398522" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Areredify <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/design.20meeting.20for.20WF.20aliases.20lang-team.2325.html#205398522">(Jul 29 2020 at 18:54)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> I am little confused as to what the source of the proposed changes is. As far as I understand, there is no (?) type alias rfc (I would appreciate pointers in its direction if there is) and rust reference just talks about aliases, with no mention of the bounds. Is it something that was supposed to be there from the begging or were you exploring the possible design space for the excessive bounds. If it's the latter, am I correct in that that change would warrant an rfc?</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>